Π1 classes and orderable groups

نویسنده

  • Reed Solomon
چکیده

It is known that the spaces of orders on orderable computable fields can represent all Π1 classes up to Turing degree. We show that the spaces of orders on orderable computable abelian and nilpotent groups cannot represent Π1 classes in even a weak manner. Next, we consider presentations of ordered abelian groups, and we show that there is a computable ordered abelian group for which no computable presentation admits a computable set of representatives for its Archimedean classes.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Polynomially orderable classes of structures

It is well known in descriptive computational complexity theory that xpoint logic captures polynomial time on the class of ordered nite structures The same is true on any class of structures on which a polynomial number of orders are de nable in xpoint logic We call a class having this property polynomially orderable We investigate this property and give examples of polynomially orderable class...

متن کامل

On the complexity of recognizing a orderable graphs

Recently Middendorf and Pfeiffer proved that recognizing perfectly orderable graphs is NP-complete. Hoang and Reed had previously studied six natural subclasses of perfectly orderable graphs that are defined by the orientations of the P,‘s. Four of the six classes can be recognized in polynomial time. We show in this paper that it is NP-complete to recognize the fifth class.

متن کامل

On L-spaces and Left-orderable Fundamental Groups

Examples suggest that there is a correspondence between L-spaces and 3manifolds whose fundamental groups cannot be left-ordered. In this paper we establish the equivalence of these conditions for several large classes of such manifolds. In particular, we prove that they are equivalent for any closed, connected, orientable, geometric 3-manifold that is non-hyperbolic, a family which includes all...

متن کامل

1 0 Fe b 20 03 Non - left - orderable 3 - manifold groups

We show that several torsion free 3-manifold groups are not left-orderable. Our examples are groups of cyclic branched covers of S branched along links. The figure eight knot provides simple nontrivial examples. The groups arising in these examples are known as Fibonacci groups which we show not to be left-orderable. Many other examples of non-orderable groups are obtained by taking 3-fold bran...

متن کامل

N ov 2 00 5 Limit groups , positive - genus towers and measure equivalence

An ω-residually free tower is positive-genus if all surfaces used in its construction are of positive genus. We prove that every limit group is virtually a subgroup of a positive-genus ω-residually free tower. By combining this with results of Gaboriau, we prove that elementarily free groups are measure equivalent to free groups. Measure equivalence was introduced by M. Gromov in [8] as a measu...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2003